predicate of n variables

[數] n變元謂詞

熱門查詢